declarative semantics

As canvas does not present any declarative semantics, it is likely that it will have more applications in the user interface implementation area than anywhere else.

因为canvas没有提供任何声明性语义，很可能更多地用于用户界面实现领域而不是其他方面。

Diamant introduces session management, credential management, environment evaluation and authorization engine with declarative semantics into authorization management architecture, using policy language to define inter-domain security policies.

Diamant将会话管理、凭证管理、环境评估和具有说明性语义的授权引擎等核心机制引入授权体系结构中，基于策略语言描述域间安全策略。

The author expresses his different viewpoint with reference(ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG.

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义